Differentiation of log x